Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
31	Ontology Application to the Problem of Maritime Traffic Analysis and Understanding John McDowall Larry Kerschberg BAE Systems, McLean, VA, USA Abstract Maintaining accurate situat Add to Reading List Source URL: www.ncgia.buffalo.edu Language: English - Date: 2016-05-18 12:38:25 Ontology Knowledge representation Information science Technical communication Semantic Web Information Knowledge Upper ontology Formal ontology Web Ontology Language Draft:Outline of ontologies Semantic interoperability
32	THE INTERNATIONAL JOURNAL OF AVIATION PSYCHOLOGY, 16(2), 135–144 Copyright © 2006, Lawrence Erlbaum Associates, Inc. FORMAL ARTICLES Risk Perception Among General Add to Reading List Source URL: www.avhf.com Language: English - Date: 2016-01-10 12:58:57 Risk Probability Intelligence Psychometrics Actuarial science Psychological testing Psychology Financial risk G factor Intelligence quotient
33	Systems Biology A Role for Computational Thinking Models, Formal Systems and Inference Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-02-21 11:06:31 Jane Hillston Laboratory for Foundations of Computer Science Systems theory Systems thinking Edinburgh Life skills Academia
34	ICBO: International Conference on Biomedical Ontologies · Buffalo, NY, USA Working with Multiple Biomedical Ontologies Workshop, July 26, 2011 Towards a Body Fluids Ontology: A Unified Application Ontology for Basic and Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2011-07-23 15:26:30 Ontology Academia Information science Knowledge OBO Foundry Upper ontology Formal ontology Gene ontology Body fluid Web Ontology Language Serous fluid Homeostasis
35	The Development of the AQ20 Learning System and Initial Experiments Guido Cervone Liviu Panait Ryszard Michalski* Machine Learning and Inference Laboratory, George Mason University, Fairfax, Add to Reading List Source URL: cervone.psu.edu Language: English - Date: 2015-11-18 09:12:46 Theoretical computer science Algorithms Formal methods Software engineering HindleyMilner type system Lambda calculus Type theory Mathematics
36	Proofs and Proof Transformations for Object-Oriented Programs Martin Nordio 2009 Diss. ETH N0 18689 Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2012-02-13 10:20:07 Logic Philosophy Abstraction Logic in computer science Proof theory Formal languages Syntax Formal methods Mathematical proof Mathematical logic Eiffel Formal proof
37	Microsoft Word - RegFormTutorials.docx Add to Reading List Source URL: icbo.buffalo.edu Language: English - Date: 2010-05-04 17:27:08 Ontology Semantic Web Information science Metaphysics Knowledge representation Computing Web Ontology Language Formal ontology Mereology Credit card Credit
38	A formally verified compiler for critical embedded software Xavier Leroy INRIA Paris-Rocquencourt LCTES, Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2008-06-25 07:48:56 Software Computing Formal methods Logic in computer science Compiler construction Compilers Functional languages CompCert Compiler Xavier Leroy Formal verification Compiler correctness
39	PML : A new proof assistant and deduction system Christophe Raffalli LAMA Add to Reading List Source URL: www.lama.univ-savoie.fr Language: English - Date: 2007-07-02 08:10:34 Type theory Theoretical computer science Mathematical logic Programming language theory Lambda calculus Formal methods Logic in computer science CurryHoward correspondence HindleyMilner type system Simply typed lambda calculus Type system Proof assistant
40	Sparser, Better, Faster GPU Parsing David Hall Taylor Berg-Kirkpatrick John Canny Dan Klein Add to Reading List Source URL: people.eecs.berkeley.edu Language: English - Date: 2014-04-16 23:03:50 Formal languages Syntax Software engineering Parsing algorithms Natural language parsing Cognitive science Computer programming Compiler construction Parsing Stochastic context-free grammar Formal grammar Parse tree

UPDATE